Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
91	Workload Shaping to Mitigate Variability in Renewable Power Use by Data Centers Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2014-09-16 15:14:58 Operations research Low-carbon economy Renewable energy Renewable energy technology Technological change Mathematical optimization Green computing Sustainability Sustainable energy Power Linear programming Technology
92	Simple and Fast Inverse Alignment John Kececioglu and Eagu Kim Department of Computer Science, The University of Arizona, Tucson, AZ 85721, USA {kece, egkim}@cs.arizona.edu Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2006-04-28 03:36:43 Computational phylogenetics Mathematical optimization Operations research Mathematics Linear programming Bioinformatics Convex optimization Sequence alignment SmithWaterman algorithm Ellipsoid method Linear inequality Inequality
93	Estimation, Optimization, and Parallelism when Data is Sparse H. Brendan McMahan2 Google, Inc.2 Seattle, WA 98103 Add to Reading List Source URL: stanford.edu Language: English - Date: 2014-09-05 13:17:03 Operations research Numerical analysis Mathematical analysis Numerical linear algebra Applied mathematics Mathematical optimization Online machine learning Sparse approximation Stochastic programming Support vector machine
94	Paramodulation Paramodulation Linear Paramodulation Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2010-08-31 11:58:31 Automated theorem proving Logic Logic programming Mathematical logic Theoretical computer science Logical truth Propositional calculus Substitution Resolution
95	Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-07-29 15:55:34 Logic Theoretical computer science Logic in computer science Mathematics Lambda calculus Formal languages Mathematical logic Syntax Combinatory logic FO Well-formed formula Logic programming
96	Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Workshop Add to Reading List Source URL: cadgme.ms.sapientia.ro Language: English - Date: 2016-05-05 07:44:14 Publishing Typography Application software Macro programming languages Digital typography Donald Knuth Desktop publishing software TeX Typesetting Sapientia University Mathematical object Mathematics
97	Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 11:55:34 Theoretical computer science Mathematics Mathematical optimization Numerical analysis Combinatorial optimization Operations research Constraint programming Logic in computer science Maximum satisfiability problem Linear programming Constrained optimization Solver
98	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor
99	PDF Document Add to Reading List Source URL: web.cse.ohio-state.edu Language: English - Date: 2011-05-20 18:09:33 Mathematics Mathematical analysis Network theory Mathematical optimization Edsger W. Dijkstra Operations research Shortest path problem Differential geometry of curves Linear programming Backpressure routing Transportation theory
100	Energy minimization via conic programming hierarchies David de Laat (TU Delft) IFORS July 14, 2014, Barcelona Add to Reading List Source URL: www.daviddelaat.nl Language: English Operations research Mathematical optimization Potential energy Minimisation Physics Applied mathematics Analysis

UPDATE